Data types

Results: 6238



#Item
21Euterpea Quick Reference Donya Quick, 21-Dec-2016 Note: type :i name into GHCi for more information on any type or function name. Musical Types and Data Structures type type

Euterpea Quick Reference Donya Quick, 21-Dec-2016 Note: type :i name into GHCi for more information on any type or function name. Musical Types and Data Structures type type

Add to Reading List

Source URL: euterpea.com

- Date: 2016-12-27 15:29:08
    22

    Quantcha Option Analytics Equity derivatives, such as options, provide unique insight as to the sentiment and pricing behavior the market has towards an underlying asset. This data set provides three useful types of opti

    Add to Reading List

    Source URL: static.quandl.com

    - Date: 2015-11-03 11:49:11
      23The Intensional Transformation for Functional Languages with User-Defined Data Types 1 2 Georgios Fourtounis1,∗

      The Intensional Transformation for Functional Languages with User-Defined Data Types 1 2 Georgios Fourtounis1,∗

      Add to Reading List

      Source URL: www.softlab.ntua.gr

      - Date: 2011-07-05 14:34:48
        24County/ZIP Code Business Patterns Draft WID Table Structures, May 2016 Data Tables: bptotals Business patterns data: employment, payroll for counties, ZIP codes and other area types

        County/ZIP Code Business Patterns Draft WID Table Structures, May 2016 Data Tables: bptotals Business patterns data: employment, payroll for counties, ZIP codes and other area types

        Add to Reading List

        Source URL: www.workforceinfodb.org

        - Date: 2016-05-24 16:03:12
          25Abstract Data Types in Object-Capability Systems James Noble1 , Sophia Drossopoulou2 , Mark S. Miller3 , Toby Murray4 , Alex Potanin1 1 Victoria University Wellington, 2 Imperial College London, 3 Google Inc, 4 Universit

          Abstract Data Types in Object-Capability Systems James Noble1 , Sophia Drossopoulou2 , Mark S. Miller3 , Toby Murray4 , Alex Potanin1 1 Victoria University Wellington, 2 Imperial College London, 3 Google Inc, 4 Universit

          Add to Reading List

          Source URL: palez.github.io

          - Date: 2016-07-20 09:34:24
            26Policy 1114: APPENDIX A Protected Data Types Data types on this list will be subject to high levels of security precautions, including a requirement that the data classified as Protected Data - Highly Sensitive be encryp

            Policy 1114: APPENDIX A Protected Data Types Data types on this list will be subject to high levels of security precautions, including a requirement that the data classified as Protected Data - Highly Sensitive be encryp

            Add to Reading List

            Source URL: universitypolicy.gmu.edu

            - Date: 2013-01-24 15:05:08
              27Programming with Binders and Indexed Data-Types Andrew Cave Brigitte Pientka McGill University

              Programming with Binders and Indexed Data-Types Andrew Cave Brigitte Pientka McGill University

              Add to Reading List

              Source URL: complogic.cs.mcgill.ca

              - Date: 2014-05-26 11:23:52
                28Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters⋆ Johannes Faber1 , Swen Jacobs2 , and Viorica Sofronie-Stokkermans2 1 Department of Computing Science, University of Oldenburg, Germany

                Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters⋆ Johannes Faber1 , Swen Jacobs2 , and Viorica Sofronie-Stokkermans2 1 Department of Computing Science, University of Oldenburg, Germany

                Add to Reading List

                Source URL: www.swenjacobs.com

                - Date: 2013-01-31 09:32:20
                  29Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

                  Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

                  Add to Reading List

                  Source URL: rdp15.mimuw.edu.pl

                  - Date: 2015-07-02 10:00:20
                    30Modules and Data Types Modules and Data Type Declarations F# code is packaged in name spaces, and modules We’ll not talk much about namespaces now: basically, a namespace can

                    Modules and Data Types Modules and Data Type Declarations F# code is packaged in name spaces, and modules We’ll not talk much about namespaces now: basically, a namespace can

                    Add to Reading List

                    Source URL: www.idt.mdh.se

                    - Date: 2013-11-08 17:00:04